退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:近似skolem问题的可判定性及其在马尔可夫链动力学性质逻辑验证中的应用
M. Biscaia; D. Henriques; P. Mateus;
机译:近似Skolem问题的可判定性及其在马尔可夫链动力学特性逻辑验证中的应用
机译:马氏链符号动力学的近似验证
机译:马可夫动力的某些受控马氏链的稳定性及其在随机逼近中的应用
机译:近似两向列联表的马尔可夫链蒙特卡罗方法及其在生态排序稳定性分析中的应用。
机译:近似马尔可夫链。
机译:连续时间马氏链的收敛性及其在目标搜索中的应用
机译:用动作链确定动态数据流的装置和方法,计算机可读记录介质和用动作链确定动态数据流的程序的装置
机译:确定软件的方法,使用软件的方法,记录介质,处理器,维护软件的方法,运输软件的方法,管理软件的方法,准备工艺路线图的方法,准备托盘功能的方法,确定方法的方法准备托盘链功能的方法,准备阶段元素的方法,准备逻辑元素的方法,准备操作元素的方法,安装软件的方法,开发软件的方法,替换数据结构的方法,替换数据值的方法,方法对于常规程序的分析,软件的开发和管理方法,软件的应用和管理方法,并行计算机和判决支持设备。
机译:动态技术,用于评估聚类或分类系统的质量,旨在基于贝叶斯推理和马尔可夫链蒙特卡洛(MCMC)技术来最大程度地减少人工审阅的次数
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。